Search results for "discrete [space-time]"

showing 10 items of 2035 documents

Upper bounds on multiparty communication complexity of shifts

1996

We consider some communication complexity problems which arise when proving lower bounds on the complexity of Boolean functions. In particular, we prove an \(O(\frac{n}{{2\sqrt {\log n} }}\log ^{1/4} n)\)upper bound on 3-party communication complexity of shifts, an O(n e ) upper bound on the multiparty communication complexity of shifts for a polylogarithmic number of parties. These bounds are all significant improvements over ones recently considered “unexpected” by Pudlak [5].

TheoryofComputation_MISCELLANEOUSDiscrete mathematicsCombinatoricsTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYCommunication complexityBinary logarithmBoolean functionUpper and lower boundsMultiparty communicationMathematics
researchProduct

Some decisional problems on rational relations

1997

Abstract In this paper we prove that the problem of deciding whether a deterministic rational relation is star-free is recursively solvable, although the same problem for any rational relation is undecidable. We also prove that a rational relation is star-free if and only if it is aperiodic and deterministic.

TheoryofComputation_MISCELLANEOUSDiscrete mathematicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESGeneral Computer ScienceTheoretical Computer ScienceUndecidable problemTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESIf and only ifAperiodic graphComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONAstrophysics::Solar and Stellar AstrophysicsRational relationComputer Science::Formal Languages and Automata TheoryAstrophysics::Galaxy AstrophysicsComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Properties and constraints of cheating-immune secret sharing schemes

2006

AbstractA secret sharing scheme is a cryptographic protocol by means of which a dealer shares a secret among a set of participants in such a way that it can be subsequently reconstructed by certain qualified subsets. The setting we consider is the following: in a first phase, the dealer gives in a secure way a piece of information, called a share, to each participant. Then, participants belonging to a qualified subset send in a secure way their shares to a trusted party, referred to as a combiner, who computes the secret and sends it back to the participants.Cheating-immune secret sharing schemes are secret sharing schemes in the above setting where dishonest participants, during the recons…

TheoryofComputation_MISCELLANEOUSHomomorphic secret sharingCryptography0102 computer and information sciences02 engineering and technologyShared secretComputer securitycomputer.software_genre01 natural sciencesSecret sharingCheating0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsSecret sharingMathematicsbusiness.industryApplied MathematicsCryptographic protocol16. Peace & justiceShamir's Secret Sharing010201 computation theory & mathematicsResilient functionsCryptographySecure multi-party computation020201 artificial intelligence & image processingVerifiable secret sharingbusinesscomputerDiscrete Applied Mathematics
researchProduct

An overview of semi-infinite programming theory and related topics through a generalization of the alternative theorems

1984

We propose new alternative theorems for convex infinite systems which constitute the generalization of the corresponding toGale, Farkas, Gordan andMotzkin. By means of these powerful results we establish new approaches to the Theory of Infinite Linear Inequality Systems, Perfect Duality, Semi-infinite Games and Optimality Theory for non-differentiable convex Semi-Infinite Programming Problem.

TheoryofComputation_MISCELLANEOUSStatistics and ProbabilityConvex analysisDiscrete mathematicsGeneralizationLinear matrix inequalityRegular polygonDuality (optimization)Optimality theorySemi-infinite programmingAlgebraLinear inequalityTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESStatistics Probability and UncertaintyMathematicsTrabajos de Estadistica y de Investigacion Operativa
researchProduct

Optimization and Inversion

2009

Tikhonov regularizationComputer scienceGeophysicsDensity contrastInversion (discrete mathematics)Bouguer anomaly
researchProduct

Neural Network Based Finite-Time Stabilization for Discrete-Time Markov Jump Nonlinear Systems with Time Delays

2013

Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2013/359265 Open Access This paper deals with the finite-time stabilization problem for discrete-time Markov jump nonlinear systems with time delays and norm-bounded exogenous disturbance. The nonlinearities in different jump modes are parameterized by neural networks. Subsequently, a linear difference inclusion state space representation for a class of neural networks is established. Based on this, sufficient conditions are derived in terms of linear matrix inequalities to guarantee stochastic finite-time boundedness and stochastic finite-time stabi…

Time delaysArticle SubjectState-space representationArtificial neural networklcsh:MathematicsApplied MathematicsParameterized complexitylcsh:QA1-939VDP::Mathematics and natural science: 400::Mathematics: 410::Analysis: 411Nonlinear systemDiscrete time and continuous timeControl theoryJumpAnalysisMathematicsMarkov jumpAbstract and Applied Analysis
researchProduct

Distributed Consensus for Discrete-Time Directed Networks of Multiagents with Time-Delays and Random Communication Links

2013

Published version of an article in the journal: Abstract and Applied Analysis. Also available from the publisher at: http://dx.doi.org/10.1155/2013/158731 Open Access This paper is concerned with the leader-following consensus problem in mean-square for a class of discrete-time multiagent systems. The multiagent systems under consideration are the directed and contain arbitrary discrete time-delays. The communication links are assumed to be time-varying and stochastic. It is also assumed that some agents in the network are well informed and act as leaders, and the others are followers. By introducing novel Lyapunov functionals and employing some new analytical techniques, sufficient conditi…

Time delaysClass (set theory)Mathematical optimizationArticle Subjectlcsh:MathematicsApplied MathematicsMulti-agent systemlcsh:QA1-939Computer Science::Multiagent SystemsDiscrete time and continuous timeConsensusLyapunov functionalControl theoryVDP::Matematikk og Naturvitenskap: 400::Matematikk: 410::Analyse: 411State (computer science)AnalysisMathematicsAbstract and Applied Analysis
researchProduct

Exponential stability analysis of Markovian jump nonlinear systems with mixed time delays and partially known transition probabilities

2013

In this paper, the problem of exponential stability is studied for a class of Markovian jump neutral nonlinear systems with mixed neutral and discrete time delays. By Lyapunov-Krasovskii function approach, a novel mean-square exponential stability criterion is derived for the situation that the system's transition rates are partially or completely accessible. Finally, some numerical examples are provided to illustrate the effectiveness of the proposed methods.

Time delayssymbols.namesakeNonlinear systemMarkovian jumpDiscrete time and continuous timeExponential stabilityControl theorysymbolsApplied mathematicsMarkov processCircle criterionFunction (mathematics)Mathematics2013 XXIV International Conference on Information, Communication and Automation Technologies (ICAT)
researchProduct

Discrete Tomography Reconstruction Through a New Memetic Algorithm

2008

Discrete tomography is a particular case of computerized tomography that deals with the reconstruction of objects made of just one homogeneous material, where it is sometimes possible to reduce the number of projections to no more than four. Most methods for standard computerized tomography cannot be applied in the former case and ad hoc techniques must be developed to handle so few projections.

Tomographic reconstructionSettore INF/01 - Informaticabusiness.industryBinary imageGenetic algorithmInstrumental noiseMemetic algorithmComputer visionTomographyArtificial intelligenceDiscrete Tomography Memetic Algorithms Evolutionary methods.businessDiscrete tomographyMathematics
researchProduct

On Słowikowski, Raíkov and De Wilde Closed Graph Theorems

1986

Publisher Summary This chapter focuses on the Slowikowski, Raikov and De Wilde closed graph theorems. The vector spaces used in the chapter, are defined over the field Ղ of real or complex numbers. The term, “space” means separated topological vector space, unless the contrary is specifically stated. If Ω is a non-empty open subset of the n -dimensional euclidean space, then the Schwartz space ҟ′(Ω) endowed with the strong topology belongs to this class. The chapter also studies the classes of spaces related with this conjecture. The class of Slowikowski spaces contains the F-spaces and it is stable with respect to the operations that include: countable topological direct sums, closed subsp…

Topological manifoldDiscrete mathematicsPure mathematicsConnected spaceClosed setDense setLocally convex topological vector spaceClosed graph theoremTopological spaceTopological vector spaceMathematics
researchProduct